Symmetry Breaking in Peaceably Coexisting Armies of Queens
نویسنده
چکیده
I describe how SBDS can be utilised to break the symmetry in the Peaceably Coexisting Armies of Queens problem. Including how SBDS can be combined with other CSP techniques to produce improved performance.
منابع مشابه
Models and Symmetry Breaking for 'Peaceable Armies of Queens'
We discuss a di cult optimization problem on a chess board requiring equal numbers of black and white queens to be placed on the board so that the white queens cannot attack the black queens We show how the symmetry of the problem can be straightforwardly eliminated using SBDS allowing a set of non isomorphic optimal solutions to be found We present three di erent ways of modelling the problem ...
متن کاملUsing Pseudosymmetry to Reduce Search Effort
Symmetry breaking exploits a relationship between solutions: that they occur in equivalence classes. Constraints may be added to exclude all symmetrically equivalent solutions but one, greatly reducing the search space. Using two problems we show that a weaker relationship can also be exploited: that the existence of one solution implies the existence of another but not necessarily vice versa. ...
متن کاملSymmetry Breaking
Symmetry occurs in many problems in aritifical intelligence. For example, in the n-queens problem, the chessboard can be rotated 90◦. As a second example, several machines in a factory might have the same capacity. In a production schedule, we might therefore be able to swap the jobs on machines with the same capacity. As a third example, two people within a company might have the same skills. ...
متن کاملComparing the use of symmetry in constraint processing and model checking
Both model checking and constraint processing involve the searching of graphs: in model checking to establish the truth of a temporal logic formula; in constraint processing to determine whether or not solutions to a problem exist which satisfy a set of constraints. In both fields, the presence of symmetry in the model or problem can result in redundant search over equivalent areas of the graph...
متن کاملA Computational Study to Find the Vibrational Modes Connected with Specific Molecular Structures of Calculated Compound
The purpose of this research is to provide a deeper understanding of the planar high- symmetry configuration instability. In the ideal case, the distortion corresponds to the movements of nuclei along normal modes that belong to non-totally symmetric irreps of the high symmertry (HS) point group of molecule. The analysis of the structural distortion from the HS nuclear arrangements of the JT ac...
متن کامل